5th edition of CASH paper presentation March 6 at 9:30 Salle 316 Program: Julien Braine presents: Counterexample-guided Abstraction Refinement de Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, et Helmut Veith. CAV 2000
Copy and paste this URL into your WordPress site to embed
